SpySMAC

Run with best incumbent example_output_1 Cutoff 5
# Train instances 10 Walltime budget 50
# Test instances 10 Runcount budget inf
# Parameters 26 CPU budget inf
Deterministic False
Default Incumbent
sp-clause-activity-inc 1 1.03619
sp-clause-decay 1.4 1.80047
sp-clause-del-heur 2 0
sp-first-restart 100 503
sp-learned-clause-sort-heur 0 5
sp-learned-clauses-inc 1.3 1.44637
sp-learned-size-factor 0.4 0.212442
sp-orig-clause-sort-heur 0 2
sp-phase-dec-heur 5 4
sp-rand-var-dec-freq 0.001 0.005
sp-resolution 1 0
sp-restart-inc 1.5 1.44486
sp-update-dec-queue 1 1
sp-use-pure-literal-rule 1 0
sp-var-activity-inc 1 1.38284
sp-var-dec-heur 0 8
sp-variable-decay 1.4 1.39724
sp-max-res-lit-inc 1 None
sp-max-res-runs 4 None
sp-rand-phase-dec-freq 0.001 0.0001
sp-rand-var-dec-scaling 1 0.370268
sp-res-cutoff-cls 8 None
sp-res-cutoff-lits 400 None
sp-res-order-heur 0 None
sp-rand-phase-scaling 1 1.04195
Default Incumbent
Train Test Train Test
PAR10 0.0337142857143 0.0296 0.01625 0.0196
PAR1 0.0337142857143 0.0296 0.01625 0.0196
Timeouts 0/14 0/10 0/48 0/10
Plot
Plot
Plot
Plot
Plot
Plot